Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
71	Microsoft PowerPoint - universal_machinesv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-08 08:45:06 Computability theory Theoretical computer science Formal methods Models of computation Lambda calculus Eval Scheme Env Interpreter Anonymous function Halting problem Turing machine
72	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
73	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
74	Efficient Secure Computation Optimization Raphael Urmoneit Florian Kerschbaum Technische Universität Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2013-08-28 05:10:42 Complexity classes Theoretical computer science Computational resources Mathematical logic Computability theory Algorithm Recursion NP DSPACE FO Exponential time hypothesis Time complexity
75	ESTIMATES FOR SPECTRAL DENSITY FUNCTIONS OF MATRICES OVER C[Zd ] arXiv:1310.8564v2 [math.NT] 29 Oct 2014 ¨ Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2014-10-30 03:27:38 Spectral theory Computability theory Lambda calculus Theoretical computer science
76	Additively efficient universal computers Daniel Dewey∗ Oxford Martin Programme on the Impacts of Future Technology, Future of Humanity Institute Add to Reading List Source URL: www.danieldewey.net Language: English - Date: 2014-04-04 07:59:10 Turing machine Computability theory Theory of computation Models of computation Alan Turing Universal Turing machine Turing completeness Kolmogorov complexity Computational complexity theory ChurchTuring thesis Cellular automaton Computer
77	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory
78	Lecture 30: Considerations When Using Collective Operations William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-04-13 14:27:53 Theoretical computer science Computability theory Pipeline Algorithm Recursion
79	PDF Document Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2013-01-02 04:40:23 Model theory Mathematical structures Mathematical logic Complexity classes Computability theory Equivalence relation Structure FO Metric space Arithmetical hierarchy Definable set Mutation
80	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Computability theory Theory of computation Mathematical logic Models of computation Theoretical computer science Gdel numbering Membrane computing Multiset Kurt Gdel Computable number Numbering Turing machine

UPDATE